|
Showing 1 - 25 of
76 matches in All Departments
The passionate response of the British public to the Newbury Bypass
is a revealing measure of how strongly people feel about trees and
the environment. Similarly, in the United States, the giant sequoia
of California is an enduring national symbol that inspires intense
feelings. As rainforests are sacrificed to the interests of
multi-national corporations and traditional ways of life disappear,
the status of forests, the cultural significance of trees, and the
impact of conservation policies are subjects that have inspired
intense engagement. Why do people feel so strongly about trees?
With this explosion of interest in environmental issues, a serious
study of what trees mean to people has long been overdue. This
interdisciplinary book responds to this need by providing the first
cross-cultural analysis of tree symbolism. Drawing on rich case
studies, contributors explore the processes through which trees are
used as metaphors of identity and continuity. Political struggles
over forest resources feature prominently, and the perceptions of
trees in various cultures provide telling insights into the ways in
which human societies conceptualize nature.As well as being a major
contribution to the field of symbolic anthropology, this
comprehensive study will be essential reading for students in a
wide range of courses and for anyone with a keen interest in the
politics of ecology, the occult and neo-paganism, and the history
and sociology of environmentalism in its widest sense.
The passionate response of the British public to the Newbury Bypass
is a revealing measure of how strongly people feel about trees and
the environment. Similarly, in the United States, the giant sequoia
of California is an enduring national symbol that inspires intense
feelings. As rainforests are sacrificed to the interests of
multi-national corporations and traditional ways of life disappear,
the status of forests, the cultural significance of trees, and the
impact of conservation policies are subjects that have inspired
intense engagement. Why do people feel so strongly about trees?
With this explosion of interest in environmental issues, a serious
study of what trees mean to people has long been overdue.
This interdisciplinary book responds to this need by providing the
first cross-cultural analysis of tree symbolism. Drawing on rich
case studies, contributors explore the processes through which
trees are used as metaphors of identity and continuity. Political
struggles over forest resources feature prominently, and the
perceptions of trees in various cultures provide telling insights
into the ways in which human societies conceptualize nature.
As well as being a major contribution to the field of symbolic
anthropology, this comprehensive study will be essential reading
for students in a wide range of courses and for anyone with a keen
interest in the politics of ecology, the occult and neo-paganism,
and the history and sociology of environmentalism in its widest
sense.
Updating Neanderthals: Understanding Behavioral Complexity in the
Late Middle Paleolithic provides comprehensive knowledge on
Neanderthals who lived throughout the European and Asian
continents. The book synthesizes historical information about the
study of Middle Paleolithic populations and presents current
debates about their genetics, subsistence, technology, social and
cognitive behaviors. It focuses on the last phase of Neanderthal
settlements and presents the main patterns of modern humans across
Europe. Written by international experts on the Middle Paleolithic
who have conducted innovative studies in the last three decades,
this book explores the implications of interactions between
different human species, including Neanderthals, Denisovans and
Sapiens. In addition, the book discusses the diversity and
variability of human adaptations and behaviors in the changing
climate and environment of the Late Pleistocene, and the
relationship between these behaviors, demography and cognitive
capabilities.
|
Sous le Masque de Blanche
Éditions Rival; Edited by Éditions Rival; Violaine Janeau
|
R451
Discovery Miles 4 510
|
Ships in 10 - 15 working days
|
Malcolm Forsyth (1936-2011) was a musical legend: a much-loved
composer, performer, teacher, and mentor. Reflections on Malcolm
Forsyth presents a captivating and approachable portrait of one of
Canada's finest modern composers. Readers will discover both public
and private sides to the man and gain fresh insights from critical
assessments of a broad range of Forsyth's compositions, his
continuing popular appreciation, and his lasting influence on the
next generation of musicians and music scholars. Drawing from the
perspectives of leading scholars, composers, and musicians, as well
as on those of family, friends, students, and colleagues,
Reflections on Malcolm Forsyth honours the rich life and cultural
significance of this exceptional creative mind. It is important
reading for music students and researchers, professional
performers, and anyone who loves contemporary music. Contributors:
Tommy Banks, Allan Gordon Bell, Nora Bumanis, Robin Elliott, Amanda
Forsyth, Valerie Forsyth, Allan Gilliland, Carl Hare, Mary I.
Ingraham, Edward Jurkowski, Ryan McClelland, John McPherson,
Fordyce C. (Duke) Pier, Roxane Prevost, Kathy Primos, Tanya
Prochazka, Leonard Ratzlaff, Rayfield Rideout, Robert C. Rival,
Julia Shaw, Dale Sorensen, Christopher Taylor
A self-contained introduction to abstract interpretation-based
static analysis, an essential resource for students, developers,
and users. Static program analysis, or static analysis, aims to
discover semantic properties of programs without running them. It
plays an important role in all phases of development, including
verification of specifications and programs, the synthesis of
optimized code, and the refactoring and maintenance of software
applications. This book offers a self-contained introduction to
static analysis, covering the basics of both theoretical
foundations and practical considerations in the use of static
analysis tools. By offering a quick and comprehensive introduction
for nonspecialists, the book fills a notable gap in the literature,
which until now has consisted largely of scientific articles on
advanced topics. The text covers the mathematical foundations of
static analysis, including semantics, semantic abstraction, and
computation of program invariants; more advanced notions and
techniques, including techniques for enhancing the cost-accuracy
balance of analysis and abstractions for advanced programming
features and answering a wide range of semantic questions; and
techniques for implementing and using static analysis tools. It
begins with background information and an intuitive and informal
introduction to the main static analysis principles and techniques.
It then formalizes the scientific foundations of program analysis
techniques, considers practical aspects of implementation, and
presents more advanced applications. The book can be used as a
textbook in advanced undergraduate and graduate courses in static
analysis and program verification, and as a reference for users,
developers, and experts.
|
Shape Analysis (Paperback)
Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
|
R2,354
Discovery Miles 23 540
|
Ships in 10 - 15 working days
|
Shape analyses focusing on inferring highly complex properties of
heap-manipulating programs are techniques used in the automatic
verification of infinite-state programs.This survey provides a
comprehensive introduction to the field of shape analysis, and
presents the foundation of the topic in an accessible manner to
readers who are not familiar with it. To do so, the authors
characterize the essence of shape analysis compared to more
classical pointer analyses as well as giving the intuition
underlying the abstractions commonly used in shape analysis and the
algorithms that allow to statically compute intricate semantic
properties. The authors cover the main families of shape analysis
abstraction and algorithms, highlight the similarities between
them, and characterize the main differences between the most common
approaches. Finally, the authors demonstrate the impact of the
field by describing a few other static analysis works - array
abstractions, dictionary abstractions and interprocedural analyses
- that were influenced by the ideas of shape analysis.Researchers
and students new to the concept of shape analysis will find this
monograph a one-stop shop of information that will quickly get them
up to speed on all aspects of the topic. With a comprehensive set
of references, this accessible survey will enable the reader to
adopt the techniques quickly in their own further research.
This book constitutes the refereed proceedings of the 23rd
International Static Analysis Symposium, SAS 2016, held in
Edinburgh, UK, in September 2016. The 21 papers presented in this
volume were carefully reviewed and selected from 55 submissions.
The contributions cover a variety of multi-disciplinary topics in
abstract domains; abstract interpretation; abstract testing; bug
detection; data flow analysis; model checking; new applications;
program transformation; program verification; security analysis;
theoretical frameworks; and type checking.
This book links tropical agri-chain dynamics - with which CIRAD and
AFD have been involved for decades - to that of sustainable
development. Increased environmental and social concerns urge
agri-chain actors and development practitioners to design
innovations, and public and private actors to invent regulations in
connection with agri-chains to improve sustainability.With a view
to contributing towards implementing the Sustainable Development
Goals (SDGs), this book examines the different roles of
agri-chains: as vectors of development, as spaces of innovation, as
objects of evaluation, and as arenas of regulation. It builds upon
the findings and experiences of CIRAD and its researchers together
with their Southern partners, and of AFD and its officers.Linking
agricultural production with the other economic sectors, agri-
chains are key spaces where local and global challenges to
sustainability meet and where local and global actors experiment
interlinked or common solutions.
|
|